
#define DVD_PLATFORM_DVD_BACKEND "PLATFORM_BACKEND"
#define __PLATFORM_NAME__  DVD_PLATFORM_DVD_BACKEND

#define C_CC_OSNAME     "LINUX"
#define __OS_NAME__  C_CC_OSNAME
#define print printf

char *STSDK_GetRevision(void)
{
 return("STAPI_SDK-REL_0.29.0");
}

char *Kernel_Version(void)
{
	return 0;
}
void sys_version()
{
    	/* Print information */
	/* ----------------- */
	print("\n");
	print("===================================================\n");
	print("    SDK - Software development kit debug environment\n");
	print("    PLATFORM : %s\n", __PLATFORM_NAME__);
	print("    OS       : %s - %s\n", __OS_NAME__, Kernel_Version());
	print("    VERSION  : %s at %s\n", __DATE__, __TIME__);
	print("===================================================\n\n");
	print("STAPI_SDK Revision : %s\n", STSDK_GetRevision());
}

void main()
{
	sys_version();
}